COMP1500 Mathematics for Computing 1
10 Credits Class Size: 110
Taught: Semester 1 (Sep to Jan) View Timetable
Year running
2006/07
This module is not approved as an Elective
Objectives
On completion of this module students should be able to:
* understand and be proficient in applying some of the mathematical concepts and techniques that are fundamental to computer science and information technology, and in particular those that fall within the areas of logic, set theory, relations and functions.
Syllabus
Propositional logic: propositions, connectives, truth tables, tautologies, contradictions; predicates, quantifiers; proof techniques (including mathematical induction. Set theory: sets, set operation, Venn diagrams, set equality subsets, cardinality. Relations: relations on a set, inverse relations, equivalence relations, orders. Functions: domain and range, inverse functions, composition of functions, properties of functions. Number systems: decimal, binary and hexadecimal; floating point representation, rounding error.
Teaching Methods
Lectures: 22 x 1 hours;
Tutor-led tutorials: 10 x 1 hour.
Private study
Taught session preparation: 22 hours;
Self-directed study: 13 hours;
Formative assessment: 8 hours;
Summative assessment: 25 hours.
Opportunities for Formative Feedback
Two pieces of formatively assessed coursework;
Weekly tutorial sessions with associated worksheets.
Reading List
The reading list is available from the Library website
Last updated: 3/9/2007
Errors, omissions, failed links etc should be notified to the Catalogue Team